propositional calculus中文是什么意思

發(fā)音:

中文翻譯
造句

句子邏輯
命題邏輯
命題演算

calculus n. (pl. calculuses, -li ) 1. ...
implicational propositional calculus 蘊(yùn)涵命題演算
minimal propositional calculus 極小命題演算
propositional 建議的; 提議的; 主張的
calculus n. (pl. calculuses, -li ) 1.【醫(yī)學(xué)】結(jié)石，石；積石；牙垢。 2.【數(shù)學(xué)】運(yùn)算，演算；微積分(學(xué))。 calculus of finite differences 【數(shù)學(xué)】差分演算(法)，差分學(xué)。 calculus of variation 變分法[學(xué)]。 differential [integral] calculus微[積]分(學(xué))。 urinary calculus【醫(yī)學(xué)】尿結(jié)石。
propositional act 命題行為
propositional algebra 命題代數(shù)
propositional connective 命題聯(lián)結(jié)詞
propositional constant 命題常數(shù)
propositional content 命題內(nèi)容
propositional form 命題的形式
propositional formula 命題公式
propositional function 命題函數(shù)
propositional indicator 命題指示成分
propositional inference 命題推演
propositional knowledge 陳述性知識(shí); 命題性知識(shí)
propositional law 命題定律
propositional learning 命題學(xué)習(xí)
propositional letter 命題字母
propositional logic 命題邏輯
propositional network 命題網(wǎng)絡(luò)
propositional representation 命題表征
propositional symbol 命題符號(hào)
propositional thinking 判斷性思維
propositional tree 命題樹(shù)

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus
命題邏輯系統(tǒng)的數(shù)字化神經(jīng)網(wǎng)絡(luò)的處理對(duì)象是數(shù)據(jù)，而命題邏輯系統(tǒng)的處理對(duì)象是命題公式集。
In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自動(dòng)推理理論與應(yīng)用的研究中，命題邏輯系統(tǒng)中的方法和內(nèi)容具有廣泛的適用性。
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介邏輯命題演算系統(tǒng)mp ~ m和中介邏輯謂詞演算系統(tǒng)mf ~ m是一種適用于處理不完全信息的新的邏輯系統(tǒng)。
The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion
同時(shí)，在已有關(guān)于horn近似的快速推理研究的基礎(chǔ)上，對(duì)如何盡快尋找模型集中的極小模型進(jìn)行更深入的研究，得出若干結(jié)論。
In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness
本文通過(guò)對(duì)mpm中介邏輯命題演算系統(tǒng)進(jìn)行代數(shù)抽象,建立了一個(gè)新的代數(shù)系統(tǒng),討論了該代數(shù)系統(tǒng)的性質(zhì),并利用該代數(shù)系統(tǒng)的代數(shù)性質(zhì)構(gòu)造了中介命題演算系統(tǒng)mpm上的一個(gè)公理完備集合,使用該公理集合可以方便的推導(dǎo)出mpm上的等值和互推公式,這對(duì)于處理不完全信息數(shù)據(jù)庫(kù)的查詢(xún)優(yōu)化有著重要作用。
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統(tǒng)mpm和中介邏輯謂詞演算系統(tǒng)mfm是在改造原有的中介邏輯系統(tǒng)的基礎(chǔ)上提出的一種新的邏輯系統(tǒng),該邏輯系統(tǒng)特別適用于處理不完全信息,可以作為處理不完全信息的理論基礎(chǔ)。

英文解釋

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
同義詞：propositional logic,

百科解釋

In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions.

詳細(xì)百科解釋

其他語(yǔ)種釋義

propositional calculusとは意味：命題計(jì)算｛めいだいけいさん｝

推薦英語(yǔ)閱讀

propositional calculus的中文翻譯，propositional calculus是什么意思，怎么用漢語(yǔ)翻譯propositional calculus，propositional calculus的中文意思，propositional calculus的中文，propositional calculus in Chinese，propositional calculus的中文，propositional calculus怎么讀，發(fā)音，例句，用法和解釋由查查在線(xiàn)詞典提供，版權(quán)所有違者必究。